An “Alien” or a Stranger Indeed?

Alien hand sign or alien hand syndrome?

Branching Bisimilarity is an Equivalence Indeed!

This note presents a detailed proof of a result in the theory of concurrency semantics that is already considered folklore, namely that branching bisimilarity is an equivalence relation. The \simple proof," which in the literature is always assumed to exist, is shown to be incorrect. The proof in this note is based on the notion of a semi-branching bisimulation taken from [10]. Branching bisimi...

Difficile indeed.

Is Timed Branching Bisimilarity an Equivalence Indeed?

We show that timed branching bisimilarity as defined by van der Zwaag [14] and Baeten & Middelburg [2] is not an equivalence relation, in case of a dense time domain. We propose an adaptation based on van der Zwaag’s definition, and prove that the resulting timed branching bisimilarity is an equivalence indeed. Furthermore, we prove that in case of a discrete time domain, van der Zwaag’s defini...

'... a Friend Indeed?' - an Empirical Analysis of Interactions on Facebook

The rapid diffusion of online social networks has shifted a large proportion of human interaction away from traditional means of communication. The purpose of this work is to assess concerns regarding the quality of the relationships supported through online social networks. Properties of interaction are assumed to be a reasonable benchmark for the quality of relationships among people. Therefo...